The Schröder-Bernstein property for weakly minimal theories
نویسندگان
چکیده
For a countable, weakly minimal theory T , we show that the SchröderBernstein property (any two elementarily bi-embeddable models are isomorphic) is equivalent to each of the following: 1. For any U -rank-1 type q ∈ S(acl(∅)) and any automorphism f of the monster model C, there is some n < ω such that f(q) is not almost orthogonal to q ⊗ f(q)⊗ . . .⊗ fn−1(q); 2. T has no infinite collection of models which are pairwise elementarily bi-embeddable but pairwise nonisomorphic. We conclude that for countable, weakly minimal theories, the SchröderBernstein property is absolute between transitve models of ZFC.
منابع مشابه
The Schröder-Bernstein Property for Theories of Abelian Groups
A first-order theory has the Schröder-Bernstein Property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove (as Theorem 3.8): Theorem 1. If G is an abelian group, then the following are equivalent: 1. Th(G,+) has the Schröder-Bernstein property; 2. Th(G,+) is ω-stable; 3. G is the direct sum of a divisible group and a torsion group of
متن کاملThe Schröder-Bernstein property for a-saturated models
A first-order theory T has the Schröder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB property if and only if T is superstable and non-multidimensional. We also prove that among superstable theories T , the class of a-saturated models of T has the SB property if and only if T has no nomadic ...
متن کاملVapnik-chervonenkis Density in Some Theories without the Independence Property, I
We recast the problem of calculating Vapnik-Chervonenkis (VC) density into one of counting types, and thereby calculate bounds (often optimal) on the VC density for some weakly o-minimal, weakly quasi-o-minimal, and P -minimal theories.
متن کاملOn Ideals Which Have the Weakly Insertion of Factors Property
A one-sided ideal of a ring has the insertion of factors property (or simply, IFP) if implies r for . We say a one-sided ideal of has the weakly IFP if for each , implies , for some non-negative integer . We give some examples of ideals which have the weakly IFP but have not the IFP. Connections between ideals of which have the IFP and related ideals of some ring extensions a...
متن کاملOn uniform definability of types over finite sets
In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called “uniform definability of types over finite sets” (UDTFS). We explore UDTFS and show how it relates to well-known properties in model theory. We recall that stable theories and weakly o-minimal theories have UDTFS and UDTFS implies dependence. We then show th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010